Graphical Sequent Calculi for Modal Logics
نویسندگان
چکیده
منابع مشابه
Graphical Sequent Calculi for Modal Logics
The syntax of modal graphs is defined in terms of the continuous cut and broken cut following Charles Peirce’s notation in the gamma part of his graphical logic of existential graphs. Graphical calculi for normal modal logics are developed based on a reformulation of the graphical calculus for classical propositional logic. These graphical calculi are of the nature of deep inference. The relati...
متن کاملSequent Calculi for Indexed Epistemic Logics
Indexed epistemic logics constitute a well-structured class of quantified epistemic logics with great expressive power and a well-behaved semantics based on the notion of epistemic transition model. It follows that they generalize term-modal logics. As to proof theory, the only axiomatic system for which we have a completeness theorem is the minimal system Q.Ke, whether with classical or with f...
متن کاملGeneralised Sequent Calculus for Propositional Modal Logics
The paper contains an exposition of some non standard approach to gentzenization of modal logics. The first section is devoted to short discussion of desirable properties of Gentzen systems and the short review of various sequential systems for modal logics. Two non standard, cut-free sequent systems are then presented, both based on the idea of using special modal sequents, in addition to usua...
متن کاملCounterfactual logics: natural deduction calculi and sequent calculi
Counterfactual logics, which have a long and venerable history [3, 1, 2], have been introduced to capture counterfactual sentences, i.e. conditionals of the form “if A were the case, then B would be the case”, where A is false. If we interpret counterfactuals as material conditionals, we have that all counterfactuals are trivially true and this is an unpleasant conclusion. By means of counterfa...
متن کاملLabelled Tableau Calculi for Weak Modal Logics
Many normal and regular modal logics have simple formalizations in terms of labelled tableaux (cf. [3], [4]). But these modal logics have direct characterisation in terms of Kripke frames, and labels are naturally modelled on this kind of semantics. It is an interesting question whether this well known method can be extended to some congruent and monotonic modal logics, which are not characteri...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2017
ISSN: 2075-2180
DOI: 10.4204/eptcs.243.7